2621. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Javier Esparza, Rupak Majumdar (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
2622. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
2623. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
2624. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Cormac Flanagan, Barbara König (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2012eb
2625. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Nir Piterman, Scott A. Smolka (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013
2626. Tools and algorithms for the construction and analysis of systems
پدیدآورنده : Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2011
2627. Top-down network design
پدیدآورنده : / Priscilla Oppenheimer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks- Design and construction,Business enterprises- Computer networks,System analysis
رده :
E-BOOK
2628. Top-down network design
پدیدآورنده : Oppenheimer, Priscilla
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Design ، Computer networks,Computer networks ، Business enterprises,، System analysis
رده :
TK
5105
.
5
.
O663
1999
2629. #Top-down network design
پدیدآورنده : #Priscilla Oppenheimer
موضوع : Computer networks- Design and construction ،Business enterprises- Computer networks ،System analysis
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
2630. Top-down network design
پدیدآورنده : Oppenheimer, Priscilla
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer networks - Design , Business enterprises - Computer networks , System analysis
رده :
TK
5105
.
5
.
O663
1999
2631. Top-down network design
پدیدآورنده : / Priscilla Oppenheimer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer networks- Design and construction,Business enterprises- Computer networks,System analysis
رده :
TK5105
.
5
.
O663
2004
2632. Topics in control theory
پدیدآورنده : / H.W. Knobloch, A. Isidori, D. Flockerzi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Control theory- Mathematics,System analysis
رده :
QA402
.
3
.
K6
1993
2633. Topics in mathematical system theor
پدیدآورنده : ]by[ R. E. Kalman, P. L. Falb ]and[ M. A. Arbib,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : System analysis,Machine theory,Algebras, Linear
رده :
QA
.
K32
402
1974
2634. Topics in mathematical system theory
پدیدآورنده : Kalman, Rudolf Emil
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System analysis,، Machine theory,، Algebras, Linear
رده :
QA
402
.
K32
2635. Topics in mathematical system theory
پدیدآورنده : / R. E. Kalman, P. L. Falb, M. A. Arbib
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : System analysis,Machine theory,Algebras, Linear
رده :
QA402
.
K32
1969
2636. Topics in mathematical system theory
پدیدآورنده : Kalman, R. E.)Rudolf Emil(
موضوع : ، System analysis,، Machine theory,، Algebras, Linear
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2637. Topics in mathematical system theory
پدیدآورنده : Kalman, R E
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Control theory,، System analysis
رده :
QA
402
.
3
.
K34
2638. Topics in mathematical system theory
پدیدآورنده : KALMAN,RUDOLF EMIL
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SYSTEM ANALYSIS , MACHINE THEORY , ALGEBRAS,LINEAR
رده :
QA
402
.
K32
2639. Topics in mathematical system theory
پدیدآورنده : Kalman, Rudolf Emil, 0391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، System analysis,، Machine theory,، Algebras, Linear
رده :
QA
402
.
K32
2640. Topics in operator theory systems and networks
پدیدآورنده : edited by H. Dym, I. Gohberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، System analysis,Congresses ، Linear operators,Congresses ، Electric network analysis
رده :
QA
402
.
W65
1983